Modellierung, Simulation und Analyse mit dem Petri-Netz-Tool POSEIDON
نویسندگان
چکیده
Gegenstand des vorliegenden Artikels ist die Vorstellung des aktuellen Entwicklungstandes von POSEIDON, einem Werkzeug zur Modellierung, Simulation und Analyse von Petri-Netzen. Die breite Palette verfügbarer Simulationsund Analysealgorithmen sowie die konsequente Ausrichtung der Bedienkonzepte an die Bedürfnisse akademischer Anwender, prädestinieren POSEIDON für die Nutzung im wissenschaftlichen Bereich. Die modulare und offene Konzeption sowie die plattformunabhängige Implementierung erlauben hierbei den Einsatz in nahezu beliebigen Anwendungsgebieten.
منابع مشابه
Modellierung und Bewertung von Fertigungssystemen mit Petri-Netzen
ii Danksagung iii 1 Einleitung 1 1.1 Motivation 1 1.2 Petri-Netze 2 1.3 Aufgabenstellung und Beitrag 4 1.4 Aufbau der Arbeit 6 2 Modellierung von Fertigungssystemen 8 2.1 Anforderungen und Problemstellungen 8 2.2 Ein Beispiel-Fertigungssystem 11 2.3 Klassische Stochastische Petri-Netze 15 2.4 Farbige Petri-Netze 18 2.5 Andere Beschreibungsmittel 21 2.6 Einordnung der Arbeit 23 3 Modellierung vo...
متن کاملProzeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen
Stichworte: Geschäftsprozeßmodellierung, Business Reengineering, Prozeßanalyse, Ereignisgesteuerte Prozeßkette, Petri-Netz, Verifikation, Simulation. Zusammenfassung: Nach einer Definition der Syntax für EPKs werden Regeln angegeben, um EPKs in Petri-Netze zu übersetzen. Die resultierenden Booleschen Netze sind eine Erweiterung von Stellen/Transitions-Netzen um logische Verknüpfungen und bilden...
متن کاملModellierung von dynamischen Zielen in Agentensystemen mit Ziel/Transitions-Netzen
Die geeignete Darstellung von Zielen ist ein wichtiger Aspekt bei der Modellierung von Agentensystemen. Ziele stellen mentale Zustände eines Agenten dar und können sich zur Laufzeit ändern (dynamische Ziele). Sie sind deshalb als dynamische Elemente auf der Modellebene abzubilden. Für die Modellierung von Agentensystemen mit dynamischen Zielen wird in dieser Arbeit die Klasse der Ziel/Transitio...
متن کاملMessung und Modellierung richtungsaufgelöster Mobilfunkkanäle
Bei der Analyse und dem Design drahtloser Kommunikationssysteme spielt die Modellierung und Simulation der Signalausbreitungswege eine immer wichtigere Rolle. Im Zusammenhang mit adaptiven Empfängerkonzepten für zukünftige Mobilfunksysteme sind dabei die räumlichen Ausbreitungseigenschaften auf dem Funkkanal von besonderem Interesse. Aus der Literatur sind verschiedene Modellierungsansätze beka...
متن کاملFormale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP
Formale Modellierung und Analyse von netzwerkbasierten Angriffen ermöglichen zwar ein tieferes Verständnis von Angriffsfolgen, sind aber meist so komplex, dass die Modellierung sehr aufwändig und eine Analyse mit automatischen Werkzeugen aufgrund der Größe des Zustandsraumes unmöglich ist. Wir stellen einen Ansatz vor, der Modelle für praxisrelevante Angriffe und Szenarien mit vertretbarem Aufw...
متن کامل